翻訳と辞書 Words near each other ・ Large yellow underwing ・ Large Zenith Telescope ・ Large, Medium-Speed Roll-on/Roll-off ・ Large-billed antwren ・ Large-billed gerygone ・ Large-billed lark ・ Large-billed leaf warbler ・ Large bamboo rat ・ Large Binocular Telescope ・ Large black flying squirrel ・ Large Black pig ・ Large blue ・ Large blue flycatcher ・ Large burgh ・ Large cactus finch ・ Large cardinal ・ Large cell ・ Large cell neuroendocrine carcinoma of the lung ・ Large cent ・ Large cent (United States coin) ・ Large chequered skipper ・ Large Chinese Bridge ・ Large Combustion Plant Directive ・ Large copper ・ Large countable ordinal ・ Large cuckooshrike ・ Large denominations of United States currency ・ Large deviations of Gaussian random functions ・ Large deviations theory ・ Large diffeomorphism Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Large cardinal ： ウィキペディア英語版 Large cardinal In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct philosophical schools (see Motivations and epistemic status below). A large cardinal axiom is an axiom stating that there exists a cardinal (or perhaps many of them) with some specified large cardinal property. Most working set theorists believe that the large cardinal axioms that are currently being considered are consistent with ZFC. These axioms are strong enough to imply the consistency of ZFC. This has the consequence (via Gödel's second incompleteness theorem) that their consistency with ZFC cannot be proven in ZFC (assuming ZFC is consistent). There is no generally agreed precise definition of what a large cardinal property is, though essentially everyone agrees that those in the List of large cardinal properties are large cardinal properties. ==Partial definition== A necessary condition for a property of cardinal numbers to be a ''large cardinal property'' is that the existence of such a cardinal is not known to be inconsistent with ZFC and it has been proven that if ZFC is consistent, then ZFC + "no such cardinal exists" is consistent. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Large cardinal」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.